Stack overflow is a thing of the past

StackAnalyzer automatically determines the worst-case stack usage of the tasks in your appli­cation. It lets you find any stack overflows, or formally prove the absence thereof.

StackAnalyzer screenshotQualification run results

StackAnalyzer screenshotContents of registers and memory cells

StackAnalyzer screenshotTabular overview of the stack usage

StackAnalyzer screenshotControl-flow graph with analysis results

StackAnalyzer screenshotCall graph with worst-case stack usage

Your benefits

Who uses StackAnalyzer?

Airbus France, in the development of safety-critical avionics software for sever­al airplane types, including the A380.

Daimler, in many auto­motive software projects, including the powertrain control system of the Actros line.

Honda, in developing the FADEC software of a turbofan engine.

Vestas, to prevent stack overflow in their wind turbine control software.

Framatome, for verification of their safety-critical platform for testing, operating and troubleshooting nuclear reactors.

Continental, to avoid stack overflows in their airbag control systems.

OHB, in the development of onboard software for satellite platforms for communication and navigation.

u-blox, to avoid stack overflows at compile time and to increase the reliability of their controlling software.

MTU Friedrichshafen, to demonstrate the cor­rectness of control software for emergency power generators in power plants.

A multitude of supported processors

StackAnalyzer is available for a vast variety of instruction set architectures, including ARM, PowerPC, x86, TriCore, RISC-V, and 20+ others.

Supported compilers include GCC, GNAT, LLVM/Clang, Diab, Tasking, GHS, the formally verified CompCert compiler, and 10+ more.

A breeze to use

StackAnalyzer incorporates 20+ years’ worth of feedback from commercial users, and offers many helpful features, polished over the years.

Seamless integration into your toolchain

StackAnalyzer supports tight integration with state-of-the-art development tools, including:

SCADE logo
dSPACE logo
Jenkins logo

StackAnalyzer can also be combined within a single user interface with other analysis tools from AbsInt — e.g. aiT for worst-case execution time analysis.

Qualification support

QSK icon

Your usage of StackAnalyzer can be qualified according to ISO 26262, DO-178B/C, and other safety standards. We offer special Qualification Support Kits that help you simplify and automate your qualification process. These Kits are especially popular with our customers in the avionics and automotive industries.

When searching for actual products performing stack usage analysis for embedded software, StackAnalyzer seems to be the most promising (and probably only) choice.”

Independent review by University of Erlangen

See for yourself

You can try StackAnalyzer for free, on your own applications, for a period of 30 days. The free license covers:

Request your free trial package today, complete with free online training and tech support.